Quelques théorèmes de l'Algèbre de Boole et leurs applications topologiques

Inégalité de Necas et quelques applications

Déroulement du raisonnement: l’idée est d’abord de constater, en passant en Fourier, que l’inégalité est triviale lorsque Ω = R (Fait 1). Lorsque Ω est un demi-espace, on se ramène par symétrie au cas de l’espace entier mais, pour que cette symétrie envoie H(Ω) dans H(R ), il faut que son opération duale envoie H(R ) dans H 0 (Ω) ( ), d’où la nécessité de faire une symétrie astucieuse qui gère ...

Composition/décomposition de réseaux de petri et de leurs graphes de couverture

— In this paper, we study composition and décomposition of Pétri nets via a common set of places or transitions. We prove that some properties are preserved by these techniques\ and some other ones can be obtained by the composition of the covering graphs. We propose some algorithms to décompose a net according to the properties that must be verified. We present an algorithm to compose minimal ...

Représentation et manipulation de structures topologiques dans un langage fonctionnel

RÉSUMÉ. Le calcul spatial est un domaine de recherche qui vise à développer des formalismes, des langages et des architectures matérielles qui permettent d’appréhender la notion d’espace en informatique. Nous présentons MGS, un langage de programmation déclaratif dédié à la représentation et à la manipulation de structures spatiales arbitrairement complexes. Afin d’atteindre ce but, nous avons ...

Résultats actuels d'une étude sérologique de quelques virus de type O apparus au Moyen-orient et en Europe

Cônes de matrices et programmation mathématique : quelques applications. (Cones of matrices and mathematical programming : some applications)

All along this dissertation we present our works related to the scope of integer linear pro gramming This work come from those done by L Lov asz and A Schrijver in L Lov asz and A Schrijver Cones of matrices set functions and optimization SIAM First we present extensively their work in order to make it more accessible Thus we show clearly the relations between integer programming and positive s...